Efficiently Solving Bit-Vector Problems Using Model Checkers Andreas Fr¨ ohlich, Gergely Kov´asznai, Armin Biere Institute for Formal Models and Verification Johannes Kepler University, Linz, Austria

Source URL: smt2013.fbk.eu

Lingeling and Friends at the SAT Competition 2011 Armin Biere Institute for Formal Models and Verification Johannes Kepler University, Linz, Austria

Source URL: fmv.jku.at

Star discrepancy bounds for (t, m, s)-nets and (t, s)-sequences Peter Kritzer Johannes Kepler University Linz Joint work with H. Faure (Marseille)

Source URL: www.mathematik.uni-kl.de

JOHANNES KEPLER ¨ UNIVERSITAT LINZ JKU

Source URL: fredrikj.net

Johannes Kepler Research Center Regensburg a Workshop of the DFG Research Group 570 “Algebraic Cycles and L-Functions” Regensburg/Leipzig “Algebraic cycles, motives and A1 -homotopy theory over general bases” Reg

Source URL: www.uni-regensburg.de

Polygone - Bausteine der Computergrafik Polygone - Bausteine der Computergrafik Schülerseminar Florian Buchegger Johannes Kepler Universität Linz

Source URL: www.matheseminar.jku.at

L INGELING and Friends Entering the SAT Challenge 2012 Armin Biere Institute for Formal Models and Verification Johannes Kepler University, Linz, Austria This note describes our SAT solvers submitted to the SAT

Source URL: fmv.jku.at

RISC-Linz Research Institute for Symbolic Computation Johannes Kepler University A-4040 Linz, Austria, Europe Sixth International Symposium on

Source URL: www.risc.jku.at

• Theoretical computer science
• Mathematics
• Mathematical logic
• Automated theorem proving
• Logic in computer science
• Type theory
• Unification
• Logic programming
• Anti-unification
• Function
• HindleyMilner type system

DK-RICAM Workshop on PDE-Constrained Optimization March 6 – March 7, 2014 held at RICAM, S2 416, Johannes Kepler University Linz Timetable Thursday, March 6, 2014

Source URL: www.dk-compmath.jku.at